1. Advances in information and computer security :
پدیدآورنده : Tetsu Iwata, Masakatsu Nishigaki (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Access control, Congresses,Computer networks-- Security measures, Congresses,Computer security, Congresses,Computer security-- Congresses,Electronic information resources-- Access control-- Congresses
رده :
QA76
.
9
.
A25
I58
2011
2. COMPASS '93: Proceedings of the Einth Annual Conference on Computer assurance,June 14-17 ,1993,national Institute of standard and technology ,gaithersbury,MD
پدیدآورنده : / COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software - Reliability - Congresses,Computers - Reliability - Congresses
رده :
QA76
.
R44
3. COMPASS 94: Proceedings of the Ninth Annual Conference on Computer Assurance, June 27-July 1, 1994, National Institute of Standard and Technology, Gaithersbury, MD
پدیدآورنده : COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council; in cooperation with British Computer Society
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Reliability - Congresses , Computers - Reliability - Congresses
رده :
QA
76
.
R44
A56
1994
4. Computer safety, reliability, and security
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Reliability ; Congresses. ; Electronic digital computers ; Reliability ; Congresses. ; Computer security ; Congresses. ; Industrial safety ; Congresses. ;
5. Computer safety, reliability, and security :
پدیدآورنده : Francesco Flammini, Sandro Bologna, Valeria Vittorini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses,Computers-- Reliability, Congresses
رده :
QA76
.
76
.
R44
I58
2011
6. Computer safety, reliability, and security
پدیدآورنده : / Erwin Schoitsch (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer software, Reliability, Congresses,Electronic digital computers, Reliability, Congresses,Computer security, Congresses,Industrial safety, Congresses
رده :
QA76
.
76
.
R44
2010
7. Computer safety, reliability, and security
پدیدآورنده : Frank Ortmeier, Peter Daniel (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses,Computer software-- Reliability, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
R44
S24
2012eb
8. Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings
پدیدآورنده : Stuart Anderson, Massimo Felici, Bev Littlewood )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
L28
Vol
.
2788
9. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
پدیدآورنده : Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Reliability -- Congresses ، Computer software,Reliability --Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
L28
Vol
.
3219
10. Computer safety, reliability, and security: 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
76
.
R44
.
S23
2004
11. Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
پدیدآورنده : Stuart Anderson, Sandro Bologna, Massimo Felici )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,، Industrial safety
رده :
QA
76
.
L28
Vol
.
2434
12. Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings
پدیدآورنده : Rune Winther, Bjorn Axel Gran, Gustav Dahll )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
L28
Vol
.
3688
13. Computer safety, reliability, and security : 19th International Conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings
پدیدآورنده : Floor Koornneef, Meine van der Meulen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
L28
Vol
.
1943
14. Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
پدیدآورنده : Udo Voges )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
L28
Vol
.
2187
15. Computer safety, reliability, and security: 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
76
.
R44
.
S23
2005
16. Critical information infrastructures security :
پدیدآورنده : Christos Xenakis, Stephen Wolthusen (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses
رده :
QA76
.
9
.
A25
C75
2010
17. Dependability of critical computer systems: Guidelines produced by The European workshop on industrial computer systems. TC7-systems reliability, safety, and security
پدیدآورنده : Guidelines prEdited by F. J. Redmill
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic digital computers- Reliability- Congresses
رده :
QA
،
76
.
9
،.
E94
,
D47
،
1989
18. Dependable software systems engineering /
پدیدآورنده : edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
19. Euro-Par 2018 :
پدیدآورنده : edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
20. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb